Nuprl Definition : not 12,41
A == A  False 
latex

DefinitionsA, P  Q, False
FDL editor aliasesnot

origin